/**********************************************************************************************/
// Syntez_Mur.h
//
// Main header for syntez Control automat Mur
// Copyright Diamant Group 2008
/**********************************************************************************************/
#ifndef _SYNTEZ_MUR_H_
#define	_SYNTEZ_MUR_H_

#include "stdafx.h"
#include "dgtKernel.h"
#include "dgt_SyntezCAPlugin.h"

/**********************************************************************************************/
class dgt_SyntezMur: public dgt_SyntezCAPlugin
{
	public://///////////////////////////////////////////////////////////////////////////////////

							dgt_SyntezMur( void );

							~dgt_SyntezMur( void );

	public://///////////////////////////////////////////////////////////////////////////////////

		// dgt_plugin stuff
		void				GetPluginInfo( dgt_PluginInfo& t_Info );

	public://///////////////////////////////////////////////////////////////////////////////////

		dgt_Circuit_Ptr		Synthesize( dgt_Algorithm_Ptr inAlg, dgt_Element_Ptr inTrigger );

	private:////////////////////////////////////////////////////////////////////////////////////

};

		dgt_SyntezMur*		pInstance;			


/**********************************************************************************************/
extern "C" 
{
	DGTEXPORT	dgt_Plugin*		GetPlugin( void );
}

#endif // _SYNTEZ_MUR_H_